acm sigbed | emsoft | participants

Mariëlle Stoelinga

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

Quantitative Testing

Henrik C. Bohnenkamp and Mariëlle Stoelinga

EMSOFT 2003: 3rd International Conference on Embedded Software

Resource Interfaces

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, and Mariëlle Stoelinga

10.1007/978-3-540-45212-6_9

EMSOFT 2002: 2nd International Workshop on Embedded Software

Timed Interfaces

Luca de Alfaro, Thomas A. Henzinger, and Mariëlle Stoelinga